Limits for Lax Morphisms
نویسنده
چکیده
We investigate limits in the 2-category of strict algebras and lax morphisms for a 2-monad. This includes both the 2-category of monoidal categories and monoidal functors as well as the 2-category of monoidal categories and opomonoidal functors, among many other examples.
منابع مشابه
On Property - like Structuresg
A category may bear many monoidal structures, but (to within a unique isomorphism) only one structure of \category with nite products". To capture such distinctions, we consider on a 2-category those 2-monads for which algebra structure is essentially unique if it exists, giving a precise mathematical deenition of \essentially unique" and investigating its consequences. We call such 2-monads pr...
متن کاملOn Property-like Structures
A category may bear many monoidal structures, but (to within a unique isomorphism) only one structure of “category with finite products”. To capture such distinctions, we consider on a 2-category those 2-monads for which algebra structure is essentially unique if it exists, giving a precise mathematical definition of “essentially unique” and investigating its consequences. We call such 2-monads...
متن کاملOn lifting of biadjoints and lax algebras
Given a pseudomonad $mathcal{T} $ on a $2$-category $mathfrak{B} $, if a right biadjoint $mathfrak{A}tomathfrak{B} $ has a lifting to the pseudoalgebras $mathfrak{A}tomathsf{Ps}textrm{-}mathcal{T}textrm{-}mathsf{Alg} $ then this lifting is also right biadjoint provided that $mathfrak{A} $ has codescent objects. In this paper, we give general results on lifting of biadjoints. As a consequence, ...
متن کاملCo-tabulations, Bicolimits and Van-Kampen Squares in Collagories
We previously defined collagories essentially as “distributive allegories without zero morphisms”. Collagories are sufficient for accommodating the relation-algebraic approach to graph transformation, and closely correspond to the adhesive categories important for the categorical DPO approach to graph transformation. Heindel and Sobociński have recently characterised the Van-Kampen colimits use...
متن کاملExponentiability via Double Categories
For a small category B and a double category D, let LaxN (B,D) denote the category whose objects are vertical normal lax functors B //D and morphisms are horizontal lax transformations. It is well known that LaxN (B,Cat) ≃ Cat/B, where Cat is the double category of small categories, functors, and profunctors. In [19], we generalized this equivalence to certain double categories, in the case whe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Applied Categorical Structures
دوره 13 شماره
صفحات -
تاریخ انتشار 2005